#include<bits/stdc++.h>

using namespace std;

unordered_map<int,int> mp;
int main()
{
    srand(time(0));

    cout <<1<<endl;

    int n=rand()%1000+1;
    int m=rand()%n;

    cout <<n<<" "<<m<<endl;

    int cnt=0;
    while(cnt<m)
    {
        int x=rand()%n+1;
        if(!mp[x])
        {
            mp[x]=1;
            cnt++;
            cout <<x<<" ";
        }
    }

    return 0;
}
